knights of the lambda-calculus
Lambda-Calculus 骑士
热门查询
- postgraduate n. 研究生，研究所学生 adj. 大学毕业后的
- old-style adj. 旧式的；老派的
- otc abbr. 技术合作处（Office of Technical Cooperation）
- imprimatur n. 出版许可，认可；赞许
- paternal adj. 父亲的；得自父亲的；父亲般的
- cathartic n. [药] 泻药；[药] 通便药 adj. 导泻的；通便的
- poststructuralism n. 后结构主义
- shatter n. 碎片；乱七八糟的状态 vt. 粉碎；打碎；破坏；破掉；使散开 vi. 粉碎；损坏；落叶
- eggplant n. 茄子 adj. 深紫色的
- cage n. 笼，兽笼；牢房，监狱 vt. 把…关进笼子；把…囚禁起来 n. (Cage)人名；(法)卡热；(英)凯奇
- seiko 日本精工株式会社
- Judas n. 犹大，叛徒；窥视孔 adj. 用于诱使其他动物被屠杀的 n. (Judas)人名；(葡)茹达斯
- Korean adj. 韩国人的；韩国语的；朝鲜人的；朝鲜语的 n. 韩国人；韩国语；朝鲜人；朝鲜语
- verifier n. 检验者；核实者；校对机
- philosophic adj. 哲学的；贤明的
- Crofters n. 小农场中的佃农( crofter的名词复数 )
- imbricate adj. 重叠成瓦状的 vt. 边缘重叠成瓦状 vi. 边缘重叠成瓦状
- hay n. 干草 vt. 把晒干 vi. 割草晒干
- inquire vi. 询问；查究；询价 vt. 询问；查究；问明
- downspout n. 水落管，落水管（将雨水从屋顶排至水沟）
